Embedding of algebraic systems
نویسندگان
چکیده
منابع مشابه
Embedding Differential Algebraic Groups in Algebraic Groups
Quantifier Elimination We work in K a large rich differentially closed field. All other differential fields are assumed to be small subfields of K. Let L = {+,−, ·, δ, 0, 1} be the language of differential rings. We let L− = {+,−, ·, 0, 1}, the language of rings. If k is a differential field, we can view k either as an L-structure or an L−-structure. Theorem 1.1 (Quantifier Elimination) For any...
متن کاملON ALGEBRAIC AND COALGEBRAIC CATEGORIES OF VARIETY-BASED TOPOLOGICAL SYSTEMS
Motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by S. Vickers, providing an algebraic and a coalgebraic category of the new structures. As a result, the nature of the category TopSys of S. Vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...
متن کاملAlgebraic Solving of Complex Interval Linear Systems by Limiting Factors
In this work, we propose a simple method for obtaining the algebraic solution of a complex interval linear system where coefficient matrix is a complex matrix and the right-hand-side vector is a complex interval vector. We first use a complex interval version of the Doolittle decomposition method and then we restrict the Doolittle's solution, by complex limiting factors, to achieve a complex in...
متن کاملABS methods for nonlinear systems of algebraic equations
Abstract This paper gives a survey of the theory and practice of nonlinear ABS methods including various types of generalizations and computer testing. We also show three applications to special problems, two of which are new.
متن کاملEmbedding Algebraic Speci cations in HOL
To build correct software systems in a systematic way, we need to integrate analysis with synthesis and support composition. Integrating analysis and synthesis gives us conndence in the system implementation. Composition facilitates reuse and is a crucial element of component-based software engineering. Logic, algebraic speciication, and category theory provide a common ground for both synthesi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1960
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1960.10.777